$P$ as strong as $Q$  $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$T$. $P$($x$) $\Rightarrow$ $Q$($x$)